WCET相关论文
实时系统的正确性不仅仅体现在程序执行的结果，还体现在任务的执行时间。其任务的执行如果不能满足对截止时间的要求，会降低系统服务......
嵌入式实时系统在当今的生产生活中得到了广泛的应用,任务实时调度作为内核功能需要更加精简和高效。传统的实时调度算法使用最坏......
传统的模型检验技术能够表示出实时系统的性质和规范，但是实时系统的实时约束大多基于抽象层次的实时模型来描述，无法与具体的程序相......
【摘 要】在安全关键实时系统设计中，为了保证系统的安全运行，实时任务必须在截止期之前完成，否则将产生严重的后果。衡量系统实时性......
